208 support metrics report generation #213

deemp · 2024-03-21T16:05:08Z

closes Support metrics report generation #208
closes Show metrics for each CI run #205
closes Report optimization metrics for each pipeline #140
closes Reuse PHI programs in CI #216
closes Disable confluence test via quickcheck #160

Check

To check locally, run

./scripts/metrics.sh
firefox report/index.html

Report

https://deemp.github.io/normalizer/report/

PR-Codex overview

This PR focuses on adding a new report feature and updating dependencies.

Detailed summary

Added file-embed-0.0.16.0 as an extra dependency
Updated import paths in eo-phi-normalizer files
Added report generation functionality
Updated styles in report/styles.css
Modified pipeline scripts for better readability and performance

The following files were skipped due to too many changes: .github/workflows/ghc.yml, site/docs/src/commands/normalizer-report.md, report/config.yaml, eo-phi-normalizer/src/Language/EO/Phi/Metrics.hs, eo-phi-normalizer/src/Language/EO/Phi/Report/Data.hs, eo-phi-normalizer/app/Main.hs, eo-phi-normalizer/src/Language/EO/Phi/Metrics/Data.hs, eo-phi-normalizer/src/Language/EO/Phi/Report/Html.hs

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

- make report table sortable - style the report table

- create directory for report html if missing - fix field names

…n generate json metrics

- add "copy to clipboard" button - explain column sorting - improve wording

…s failed

- write about the artifact in the job summary even if some previous steps failed - write report in the job summary only if all previous steps were successful

0pdd · 2024-04-04T22:21:14Z

@deemp the puzzle #249 is still not solved.

0pdd · 2024-07-19T03:43:19Z

@deemp the only puzzle #249 is solved here.

deemp force-pushed the 208-support-metrics-report-generation branch from df439cf to 456e3d4 Compare March 21, 2024 17:27

This was referenced Mar 21, 2024

140 report optimization metrics for each pipeline #194

Closed

216 deploy metrics report to the site #217

Closed

deemp added 27 commits March 22, 2024 14:50

feat(report): add module

1d68517

refactor(metrics): generalize the metrics type

67c6c38

fix(metrics): division

57a9e6a

fix(metrics): fromInteger

8f68046

refactor(metrics): give a more descriptive function name

09eae8d

feat(package): add blaze

e6f6d4e

feat(report): support conversion to html

af90da8

refactor(report): split into two modules

d31e4a9

chore(cabal): update .cabal

f2070de

feat(cli): add command to generate a report

a2ec2a8

feat(report): add config for report

074a6de

feat(report):

a723402

- make report table sortable - style the report table

fix(report): align headers by center

7143dc8

fix(report): apply autoprefixer

eddc31e

refactor(report): group page-related config keys

c074608

feat(report): optional json report path

de1d4ab

feat(report): make json instances for report

c1f5cb9

fix(report): field names

cbcaa81

fix(cli):

e70b88a

- create directory for report html if missing - fix field names

feat(cli): write json report if path is specified

f41fc30

fix(report): config

f84da06

fix(report): move directory

3c6f1c8

feat(report): gitignore report.json

9079eaa

fix(metrics): remove the metrics script because the report command ca…

bcf595f

…n generate json metrics

refactor(report): rename config file

98be85f

refactor(pipeline): improve message printing

5e8febe

feat(pipeline): add step to generate a report

70676b3

deemp added 5 commits March 24, 2024 15:48

feat(package): add report js and css files to extra-source-files

eb2977f

feat(report): add embedded js and css files

78c87f8

feat(report, cli): support optional input and output in report config

c5be8b3

fix(report): remove config input

d797f3a

feat(site): add docs for the report command

fb1bb40

deemp requested a review from fizruk March 24, 2024 15:30

deemp added 11 commits March 24, 2024 18:42

feat(ci, report): generate a job summary

f387a6f

feat(ci): upload pipeline artifact

35edf41

fix(ci): run haddock as a part of stack setup

4291cf2

fix(ci): use faster stack-action

c18c2cd

feat(ci): use pipeline artifact to deploy the report

af5284e

fix(ci): disable macos tests and add todos

ec619ca

refactor(ci): move haddock files together with other files

5ef32ed

feat(report):

57398c0

- add "copy to clipboard" button - explain column sorting - improve wording

fix(ci): upload artifacts on all platforms even if some previous step…

7edfd51

…s failed

feat(ci):

6c00ebc

- write about the artifact in the job summary even if some previous steps failed - write report in the job summary only if all previous steps were successful

fix(report): text

4054880

deemp requested a review from aabounegm March 25, 2024 07:43

fix(ci): write runner os in artifact names

baf7ed2

deemp force-pushed the 208-support-metrics-report-generation branch from 9fcfdb0 to baf7ed2 Compare March 25, 2024 07:52

deemp added 2 commits March 25, 2024 11:39

fix(report): remove the details tag from markdown reports

deccf61

fix(ci): extend and format job summary

fa4e5ce

fizruk approved these changes Mar 25, 2024

View reviewed changes

fizruk merged commit aec361c into master Mar 25, 2024
5 checks passed

fizruk deleted the 208-support-metrics-report-generation branch March 25, 2024 17:44

fizruk mentioned this pull request Mar 26, 2024

Release v0.3.0 #223

Merged

deemp mentioned this pull request Mar 26, 2024

[meeting] [joint] 22.03.24 #231

Closed

0pdd mentioned this pull request Apr 4, 2024

ghc.yml:63: enable macos test after... #249

Closed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

208 support metrics report generation #213

208 support metrics report generation #213

deemp commented Mar 21, 2024 •

edited by pr-codex bot

Loading

0pdd commented Apr 4, 2024

0pdd commented Jul 19, 2024

208 support metrics report generation #213

208 support metrics report generation #213

Conversation

deemp commented Mar 21, 2024 • edited by pr-codex bot Loading

Check

Report

PR-Codex overview

Detailed summary

0pdd commented Apr 4, 2024

0pdd commented Jul 19, 2024

deemp commented Mar 21, 2024 •

edited by pr-codex bot

Loading